\frameforsection[t]{
  \renewcommand\currentblocktitle{什么是测试平台}
  \outonlyblock{
    \begin{itemize}
      \item 测试平台是针对Verilog模块编写的验证模块
      \item 测试平台的目的是验证Verilog模块的功能是否正确
      \item 测试平台时不可综合的Verilog模块，它没有输入/输出端口
      \item 测试平台内部主要操作：创建待验证模块实例、产生输入信号、执行模块、检验模块输出信号是否正确
      \item 测试平台可以使用initial、repeat、\#100等语句，这些语句在一般可综合的Verilog模块中是不允许的
      \item 总之，测试平台不可综合，而一般的Verilog模块是能够被综合的
    \end{itemize}
  }
  \renewcommand\currentblocktitle{\hypertarget{2_2}{示例代码1：编写仅具有输出测试结果功能的测试平台}}
  \outonlyblock{
    \twocolumns{
      \begin{itemize}
	\item 测试平台仅负责准备输入信号，产生输出，不负责检测结果是否符合预期
	\item 数字系统开发人员负责手工检测测试结果正确与否
	\item 这种方式只适用于小模块的测试
      \end{itemize}
    }{
      \outfigure{.8}{images/prime测试平台.png}
    }[c]
  }
 \outonlyblock{
    \twocolumns{
      \begin{itemize}
	\item 测试平台仅负责准备输入信号，产生输出，不负责检测结果是否符合预期
	\item 数字系统开发人员负责手工检测测试结果正确与否
	\item 这种方式只适用于小模块的测试
      \end{itemize}
    }{
      \outfigure{.8}{images/test_prime仿真结果.png}
    }[c]
  }
  \renewcommand\currentblocktitle{\hypertarget{2_3}{示例代码2：编写具有自动化检测功能的测试平台}}
  \outonlyblock{
    \twocolumns[.6]{
      \begin{itemize}
	\item 自动化检测功能是指测试平台自动判断被测试模块的输出与预期输出是否一致
	\item 这种方式适合大规模或复杂功能模块
	\item 这种测试需要编写另一个``参考模块''，程序比较被测模块与参考模块输出的一致性
	\item 参考模块可以与被测模块具有相同的接口，也可以是被测模块的\alert{反函数}
      \end{itemize}
    }{
      \outfigure{.8}{images/具有自动检测输出结构功能的测试平台.png}
    }[c]
  }
}
